
source ./env.bashrc
make clean
set -e
make 
# timeout 3 ./aem_run_avk_r4p0 avk/boot_64_mix_32.elf
 timeout 3 ./aem_run_avk_r4p0 avk/boot-a32.elf
 # ./aem_run_avk_r4p0 avk/boot-a32.elf
